KNOWLE.AX[E78,JMC] - www.SailDart.org

perm filename KNOWLE.AX[E78,JMC] blob sn#365716 filedate 1978-07-07 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	∀m n p.true Holds(0,K(SP,Not K(Name p,Holds(0,Not(Equal(M, Concept1 m)
C00003 ENDMK
C⊗;
∀m n p.true Holds(0,K(SP,Not K(Name p,Holds(0,Not(Equal(M, Concept1 m)
And Equal(N,Concept1 n))))))